CDoublePoint rotate(CDoublePoint pt, double angle, double scale);

